| Model: | exploding-blocksworld v.1 (MDP) |
| Parameter(s) | N = 10 |
| Property: | goal (prob-reach) |
mono ./modest-fret-pi-lrtdp-master/FretLrtdp.exe exploding-blocksworld.10.jani --epsilon 1e-3 --timeout 580
| Walltime: | 600.041761636734s |
| Return code: | -2 |
exploding-blocksworld.10.jani:model: info: jani_from_ppddl is an MDP model. exploding-blocksworld.10.jani: info: Need 43 bytes per state.